|
In mathematics, Favard's theorem, also called the Shohat–Favard theorem, states that a sequence of polynomials satisfying a suitable 3-term recurrence relation is a sequence of orthogonal polynomials. The theorem was introduced in the theory of orthogonal polynomials by and , though essentially the same theorem was used by Stieltjes in the theory of continued fractions many years before Favard's paper, and was rediscovered several times by other authors before Favard's work. ==Statement== Suppose that ''y''0 = 1, ''y''1, ... is a sequence of polynomials where ''y''''n'' has degree ''n''. If this is a sequence of orthogonal polynomials for some positive weight function then it satisfies a 3-term recurrence relation. Favard's theorem is roughly a converse of this, and states that if these polynomials satisfy a 3-term recurrence relation of the form : for some numbers ''c''''n'' and ''d''''n'', then the polynomials ''y''''n'' form an orthogonal sequence for some linear function Λ with Λ(1)=1; in other words Λ(''y''''m''''y''''n'') = 0 if ''m'' ≠ ''n''. The linear functional Λ is unique, and is given by Λ(1) = 1, Λ(''y''''n'') = 0 if ''n'' > 0. The functional Λ satisfies Λ(''y'') = ''d''''n'' Λ(''y''), which implies that Λ is positive definite if (and only if) the numbers ''c''''n'' are real and the numbers ''d''''n'' are positive. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Favard's theorem」の詳細全文を読む スポンサード リンク
|